Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
331	Granularity and Concurrent Separation Logic Jonathan Hayman Computer Laboratory, University of Cambridge Abstract. When defining the semantics of shared-memory concurrent programming languages, one conventionally has to Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-07 11:14:44 Concurrency Diagrams Petri net Mathematical logic Mathematics Heap Separation logic Theoretical computer science Models of computation Logic in computer science
332	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
333	Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-29 05:32:43 Universal algebra Mathematics Models of computation Logic Automata theory Model theory Structure
334	Lemma 1 Ref: DS/FMU/FEF/006 DRA FRONT END FILTER PROJECT Issue: Revision : 4 .3 Security Conjecture for the SSQL Abstract Machine Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:10 Models of computation Procedural programming languages Automata theory Finite-state machine ALGOL 68 SQL Abstraction Set Computing Software engineering Computer programming
335	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
336	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
337	Microsoft Word - Clutter poster paper _3_.docx Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-09-20 15:44:25 Diagrams Petri nets Thought Petri Type–token distinction Procedural generation Abstract object Cognition Ethology Abstraction Models of computation Concurrency
338	DOC Document Add to Reading List Source URL: www.kidsonthenet.org.uk Language: English - Date: 2007-03-24 16:43:53 Technical communication Models of computation Assembly languages
339	Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:34:34 Object-oriented programming Computer programming Data types Polymorphism Subtype polymorphism Models of computation Type system Inheritance Objective-C Software engineering Type theory Computing
340	Discovering Nontrivial and Functional Behavior in Register Machines Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-09-03 11:08:27 Computing Computer hardware Register machine Program counter Instruction set Processor register Stack machine Random access machine Models of computation Central processing unit Computer architecture

UPDATE